automatic theorem proving
[網絡] 自動定理證明；機械證明定理
熱門查詢
- decoction n. 煎煮；煎熬的藥；煮出的汁
- untidily adv. 不整潔地; 不修邊幅地; 凌亂地; 無條理地
- unsavoury adj. 難吃的；令人討厭的
- constance n. 康士坦茨湖（位于瑞士、德國和奧地利交界處）
- coral n. 珊瑚；珊瑚蟲 adj. 珊瑚的；珊瑚色的 n. (Coral)人名；(英、法、西、葡)科拉爾
- idle adj. 閑置的；懶惰的；停頓的 vt. 虛度；使空轉 vi. 無所事事；虛度；空轉
- minuet n. 小步舞；米奴哀舞 vi. 跳米奴哀舞；跳小步舞
- woodcarving n. 木刻，木雕
- catchphrase n. 標語，警句
- cowshed n. 牛棚；牛舍
- warwick n. 沃里克（英國英格蘭中部沃里克郡城市）；沃里克（美國羅德島州東部城市, 為紡織業中心）；沃里克（姓氏）
- levitate vt. 使輕輕浮起；使飄浮空中 vi. 輕輕浮起；飄浮空中
- Milroy [人名] 米爾羅伊; [地名] [美國] 米爾羅伊
- breathlessly adv. 氣喘地；屏息地
- Katmandu n. 加德滿都(尼泊爾首都)
- hannah n. 漢娜（女子名）
- penitentiary n. 監獄；教養所；宗教裁判所 adj. 應處監禁的；監禁的；懺悔的（等于penitential）
- unwittingly adv. 不知不覺地；不知情地；不經意地
- Bedi [地名] [印度] 貝迪
- naturalised vt. 使入國籍；使歸化 vi. 加入國籍；歸化（等于naturalize）
